EN FR
EN FR


Section: Dissemination

Teaching - Supervision - Juries

Teaching

  • Licence : Horatiu Cirstea, Structures de données, 20h, L3, Université de Lorraine, Nancy

  • Licence : Sergueï Lenglet, Algorithmique et strutures de données, 110h, L1, L2, IUT Charlemagne, Nancy

  • Licence : Sergueï Lenglet, Bases de données, 60h, L1, IUT Charlemagne, Nancy

  • Licence : Sergueï Lenglet, Analyse et conception de systèmes d'information, 20h, L2, IUT Charlemagne, Nancy

  • Licence : Pierre-Etienne Moreau, Tronc Commun d'Informatique, 35h, L3, École des Mines de Nancy

  • Licence : Christophe Calvès, Certificat Informatique et Internet, 40h, L1, Université de Lorraine, Nancy

  • Master : Horatiu Cirstea, Analyse et conception de logiciels, 100h, M1, Université de Lorraine, Nancy

  • Master : Horatiu Cirstea, Génie logiciel avancé, 30h, M2, Université de Lorraine, Nancy

  • Master : Pierre-Etienne Moreau, Software Engineering, 15h, M1, École des Mines de Nancy

  • Master : Pierre-Etienne Moreau, Bootcamp OO Programming, 45, M1, École des Mines de Nancy

  • Master : Pierre-Etienne Moreau, Research project, 30h, M2, École des Mines de Nancy

Supervision

  • PhD : Cláudia TAVARES, "Un système de types pour la programmation par réécriture embarquée", Université de Lorraine, March 2nd 2012, Claude Kirchner et Pierre-Etienne Moreau

  • PhD : Vincent DEMANGE, "Vers un calcul des constructions pédagogiques", Université de Lorraine, December 7th 2012, Sorin Stratulat et Loïc Colson

  • PhD in progress : Jean-Christophe BACH, "Transformation de modèles et certification", November 1st 2010, Pierre-Etienne Moreau

Juries

Pierre-Etienne Moreau:

  • PhD committee of Aurélien Monot, “Vérification de contraintes temporelles de bout-en-bout dans le contexte AutoSar”, Nancy 2012

  • PhD committee of Luc Engelen, “From Napkin Sketches to Reliable Software”, Eindhoven 2012

  • PhD reviewer of Pengfei Liu, “Intégration de politiques de sécurité dans des systèmes ubiquitaires”, Bordeaux 2013

  • PhD committee of Laurent Wouters, “Multi-Domain Expert-User Modeling Infrastructure”, Paris 2013